first principle of inverse functions